91![Model-Based Testing: From Theory to Practice and Back Mohammad Mousavi Halmstad University, Sweden 25 Years of Combining Compositionality and Concurrency Model-Based Testing: From Theory to Practice and Back Mohammad Mousavi Halmstad University, Sweden 25 Years of Combining Compositionality and Concurrency](https://www.pdfsearch.io/img/328b04e43f37bb183bd7be47f11f2e73.jpg) | Add to Reading ListSource URL: www.ips.tu-braunschweig.de- Date: 2013-08-13 02:41:32
|
---|
92![Under consideration for publication in Theory and Practice of Logic Programming 1 Multi-threaded ASP Solving with clasp Martin Gebser and Benjamin Kaufmann and Torsten Schaub∗ Under consideration for publication in Theory and Practice of Logic Programming 1 Multi-threaded ASP Solving with clasp Martin Gebser and Benjamin Kaufmann and Torsten Schaub∗](https://www.pdfsearch.io/img/85059b279ab906132a6f942fad7e2ef0.jpg) | Add to Reading ListSource URL: www.cs.uni-potsdam.de- Date: 2012-06-27 10:05:03
|
---|
93![Historical Performance: Theory, Practice, and Interdisciplinarity A conference hosted by the Historical Performance Institute of the Indiana University Jacobs School of Music with support from the IU New Frontiers in the Historical Performance: Theory, Practice, and Interdisciplinarity A conference hosted by the Historical Performance Institute of the Indiana University Jacobs School of Music with support from the IU New Frontiers in the](https://www.pdfsearch.io/img/efba7c6e1f0124b7c3c454089718473e.jpg) | Add to Reading ListSource URL: music.indiana.edu- Date: 2016-07-15 10:29:15
|
---|
94![Contents i The Theory and Practice of Concurrency Contents i The Theory and Practice of Concurrency](https://www.pdfsearch.io/img/b8bcc7d00396a7dd6354eadbd56b1881.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.uk- Date: 2005-04-27 07:29:54
|
---|
95![On the Lindell-Pinkas Secure Computation of Logarithms: From Theory to Practice Raphael S. Ryger∗ Onur Kardes† On the Lindell-Pinkas Secure Computation of Logarithms: From Theory to Practice Raphael S. Ryger∗ Onur Kardes†](https://www.pdfsearch.io/img/dad3f08fc1e287dbe9a9948e1acd7638.jpg) | Add to Reading ListSource URL: www.csee.umbc.edu- Date: 2008-02-15 00:34:08
|
---|
96![MDE Support for Process-Oriented Health Information Systems: from Theory to Practice Pieter Van GorpF , Irene VanderfeestenF , Willem DalinghausN , Josh MengerinkN , Bram van der SandenN , Pieter Kubben♦ F :{p.m.e.v.go MDE Support for Process-Oriented Health Information Systems: from Theory to Practice Pieter Van GorpF , Irene VanderfeestenF , Willem DalinghausN , Josh MengerinkN , Bram van der SandenN , Pieter Kubben♦ F :{p.m.e.v.go](https://www.pdfsearch.io/img/8762a823838755c8a1c33c1f4b53c3ed.jpg) | Add to Reading ListSource URL: is.ieis.tue.nl- Date: 2012-05-24 07:58:19
|
---|
97![From Theory to Practice: Efficient Join Query Evaluation in a Parallel Database System Shumo Chu, Magdalena Balazinska, Dan Suciu Computer Science and Engineering, University of Washington Seattle, Washington, USA From Theory to Practice: Efficient Join Query Evaluation in a Parallel Database System Shumo Chu, Magdalena Balazinska, Dan Suciu Computer Science and Engineering, University of Washington Seattle, Washington, USA](https://www.pdfsearch.io/img/c2ebb1f0213c9504a53c4def1081a814.jpg) | Add to Reading ListSource URL: homes.cs.washington.edu- Date: 2015-03-31 00:37:38
|
---|
98![Economic Forecasting in Theory and Practice: An Interview with David F. Hendry Economic Forecasting in Theory and Practice: An Interview with David F. Hendry](https://www.pdfsearch.io/img/2f7cbbba07fe0a8e9787d09b019b78c6.jpg) | Add to Reading ListSource URL: www.federalreserve.gov- Date: 2016-11-16 10:30:33
|
---|
99![Machine Translation: Theory and Practice ........................................................................................................................................…………………. Overview There are s Machine Translation: Theory and Practice ........................................................................................................................................…………………. Overview There are s](https://www.pdfsearch.io/img/ac3ee24afd3bb3fb014ef1ce31050b97.jpg) | Add to Reading ListSource URL: www.iitbhu.ac.in- Date: 2016-10-25 01:41:34
|
---|
100![Under consideration for publication in Theory and Practice of Logic Programming 1 D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming Under consideration for publication in Theory and Practice of Logic Programming 1 D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming](https://www.pdfsearch.io/img/0755593b76088c158d8969497619c1d2.jpg) | Add to Reading ListSource URL: dbai.tuwien.ac.at- Date: 2013-06-20 14:18:41
|
---|